type readonly = 1;
